Elementary closures for integer programs

نویسندگان

  • Gérard Cornuéjols
  • Yanjun Li
چکیده

In integer programming, the elementary closure associated with a family of cuts is the convex set de ned by the intersection of all the cuts in the family. In this paper, we compare the elementary closures arising from several classical families of cuts: three versions of Gomory's fractional cuts, three versions of Gomory's mixed integer cuts, two versions of intersection cuts and their strengthened forms, Chv atal cuts, MIR cuts, liftand-project cuts without and with strengthening, two versions of disjunctive cuts, SheraliAdams cuts and Lov asz-Schrijver cuts with positive semi-de niteness constraints.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Elementary closures for integer programs ( G

In integer programming, the elementary closure associated with a family of cuts is the convex set de ned by the intersection of all the cuts in the family. In this paper, we compare the elementary closures arising from several classical families of cuts: three versions of Gomory’s fractional cuts, three versions of Gomory’s mixed integer cuts, two versions of intersection cuts and their strengt...

متن کامل

Fast Acceleration of Ultimately Periodic Relations

Computing transitive closures of integer relations is the key to finding precise invariants of integer programs. In this paper, we describe an efficient algorithm for computing the transitive closures of difference bounds, octagonal and finite monoid affine relations. On the theoretical side, this framework provides a common solution to the acceleration problem, for all these three classes of r...

متن کامل

PTIME Computation of Transitive Closures of Octagonal Relations

Computing transitive closures of integer relations is the key to finding precise invariants of integer programs. In this paper, we study difference bounds and octagonal relations and prove that their transitive closure is a PTIMEcomputable formula in the existential fragment of Presburger arithmetic. This result marks a significant complexity improvement, as the known algorithms have EXPTIME wo...

متن کامل

A Refined Gomory-Chvátal Closure for Polytopes in the Unit Cube

We introduce a natural strengthening of Gomory-Chvátal cutting planes for the important class of 0/1-integer programming problems and study the properties of the elementary closure that arises from the new class of cuts. Most notably, we prove that the new closure is polyhedral, we characterize the family of all facet-defining inequalities, and we compare it to elementary closures associated wi...

متن کامل

On the relative strength of different generalizations of split cuts

Split cuts are among the most important and well-understood cuts for general mixed-integer programs. In this paper we consider some recent generalizations of split cuts and compare their relative strength. More precisely, we compare the elementary closures of split, cross, crooked cross and general multi-branch split cuts as well as cuts obtained from multi-row and basic relaxations. We present...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Oper. Res. Lett.

دوره 28  شماره 

صفحات  -

تاریخ انتشار 2001